Optimal. Leaf size=154 \[ \frac {47 (7+8 x) \sqrt {2+5 x+3 x^2}}{128000 (3+2 x)^2}-\frac {47 (7+8 x) \left (2+5 x+3 x^2\right )^{3/2}}{9600 (3+2 x)^4}+\frac {47 (7+8 x) \left (2+5 x+3 x^2\right )^{5/2}}{600 (3+2 x)^6}-\frac {13 \left (2+5 x+3 x^2\right )^{7/2}}{35 (3+2 x)^7}-\frac {47 \tanh ^{-1}\left (\frac {7+8 x}{2 \sqrt {5} \sqrt {2+5 x+3 x^2}}\right )}{256000 \sqrt {5}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 154, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 4, integrand size = 27, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.148, Rules used = {820, 734, 738,
212} \begin {gather*} -\frac {13 \left (3 x^2+5 x+2\right )^{7/2}}{35 (2 x+3)^7}+\frac {47 (8 x+7) \left (3 x^2+5 x+2\right )^{5/2}}{600 (2 x+3)^6}-\frac {47 (8 x+7) \left (3 x^2+5 x+2\right )^{3/2}}{9600 (2 x+3)^4}+\frac {47 (8 x+7) \sqrt {3 x^2+5 x+2}}{128000 (2 x+3)^2}-\frac {47 \tanh ^{-1}\left (\frac {8 x+7}{2 \sqrt {5} \sqrt {3 x^2+5 x+2}}\right )}{256000 \sqrt {5}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 734
Rule 738
Rule 820
Rubi steps
\begin {align*} \int \frac {(5-x) \left (2+5 x+3 x^2\right )^{5/2}}{(3+2 x)^8} \, dx &=-\frac {13 \left (2+5 x+3 x^2\right )^{7/2}}{35 (3+2 x)^7}+\frac {47}{10} \int \frac {\left (2+5 x+3 x^2\right )^{5/2}}{(3+2 x)^7} \, dx\\ &=\frac {47 (7+8 x) \left (2+5 x+3 x^2\right )^{5/2}}{600 (3+2 x)^6}-\frac {13 \left (2+5 x+3 x^2\right )^{7/2}}{35 (3+2 x)^7}-\frac {47}{240} \int \frac {\left (2+5 x+3 x^2\right )^{3/2}}{(3+2 x)^5} \, dx\\ &=-\frac {47 (7+8 x) \left (2+5 x+3 x^2\right )^{3/2}}{9600 (3+2 x)^4}+\frac {47 (7+8 x) \left (2+5 x+3 x^2\right )^{5/2}}{600 (3+2 x)^6}-\frac {13 \left (2+5 x+3 x^2\right )^{7/2}}{35 (3+2 x)^7}+\frac {47 \int \frac {\sqrt {2+5 x+3 x^2}}{(3+2 x)^3} \, dx}{6400}\\ &=\frac {47 (7+8 x) \sqrt {2+5 x+3 x^2}}{128000 (3+2 x)^2}-\frac {47 (7+8 x) \left (2+5 x+3 x^2\right )^{3/2}}{9600 (3+2 x)^4}+\frac {47 (7+8 x) \left (2+5 x+3 x^2\right )^{5/2}}{600 (3+2 x)^6}-\frac {13 \left (2+5 x+3 x^2\right )^{7/2}}{35 (3+2 x)^7}-\frac {47 \int \frac {1}{(3+2 x) \sqrt {2+5 x+3 x^2}} \, dx}{256000}\\ &=\frac {47 (7+8 x) \sqrt {2+5 x+3 x^2}}{128000 (3+2 x)^2}-\frac {47 (7+8 x) \left (2+5 x+3 x^2\right )^{3/2}}{9600 (3+2 x)^4}+\frac {47 (7+8 x) \left (2+5 x+3 x^2\right )^{5/2}}{600 (3+2 x)^6}-\frac {13 \left (2+5 x+3 x^2\right )^{7/2}}{35 (3+2 x)^7}+\frac {47 \text {Subst}\left (\int \frac {1}{20-x^2} \, dx,x,\frac {-7-8 x}{\sqrt {2+5 x+3 x^2}}\right )}{128000}\\ &=\frac {47 (7+8 x) \sqrt {2+5 x+3 x^2}}{128000 (3+2 x)^2}-\frac {47 (7+8 x) \left (2+5 x+3 x^2\right )^{3/2}}{9600 (3+2 x)^4}+\frac {47 (7+8 x) \left (2+5 x+3 x^2\right )^{5/2}}{600 (3+2 x)^6}-\frac {13 \left (2+5 x+3 x^2\right )^{7/2}}{35 (3+2 x)^7}-\frac {47 \tanh ^{-1}\left (\frac {7+8 x}{2 \sqrt {5} \sqrt {2+5 x+3 x^2}}\right )}{256000 \sqrt {5}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.55, size = 88, normalized size = 0.57 \begin {gather*} \frac {\frac {5 \sqrt {2+5 x+3 x^2} \left (6404247+39981058 x+100711840 x^2+127557120 x^3+81951440 x^4+22620128 x^5+1089792 x^6\right )}{(3+2 x)^7}-987 \sqrt {5} \tanh ^{-1}\left (\frac {\sqrt {\frac {2}{5}+x+\frac {3 x^2}{5}}}{1+x}\right )}{13440000} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(289\) vs.
\(2(128)=256\).
time = 0.10, size = 290, normalized size = 1.88
method | result | size |
risch | \(\frac {3269376 x^{8}+73309344 x^{7}+361134544 x^{6}+837668816 x^{5}+1103824000 x^{4}+878616614 x^{3}+420541711 x^{2}+111983351 x +12808494}{2688000 \left (3+2 x \right )^{7} \sqrt {3 x^{2}+5 x +2}}+\frac {47 \sqrt {5}\, \arctanh \left (\frac {2 \left (-\frac {7}{2}-4 x \right ) \sqrt {5}}{5 \sqrt {12 \left (x +\frac {3}{2}\right )^{2}-16 x -19}}\right )}{1280000}\) | \(93\) |
trager | \(\frac {\left (1089792 x^{6}+22620128 x^{5}+81951440 x^{4}+127557120 x^{3}+100711840 x^{2}+39981058 x +6404247\right ) \sqrt {3 x^{2}+5 x +2}}{2688000 \left (3+2 x \right )^{7}}-\frac {47 \RootOf \left (\textit {\_Z}^{2}-5\right ) \ln \left (\frac {8 \RootOf \left (\textit {\_Z}^{2}-5\right ) x +7 \RootOf \left (\textit {\_Z}^{2}-5\right )+10 \sqrt {3 x^{2}+5 x +2}}{3+2 x}\right )}{1280000}\) | \(102\) |
default | \(-\frac {47 \sqrt {12 \left (x +\frac {3}{2}\right )^{2}-16 x -19}}{1280000}-\frac {13 \left (3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}\right )^{\frac {7}{2}}}{4480 \left (x +\frac {3}{2}\right )^{7}}-\frac {47 \left (3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}\right )^{\frac {7}{2}}}{9600 \left (x +\frac {3}{2}\right )^{6}}-\frac {47 \left (3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}\right )^{\frac {7}{2}}}{6000 \left (x +\frac {3}{2}\right )^{5}}-\frac {987 \left (3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}\right )^{\frac {7}{2}}}{80000 \left (x +\frac {3}{2}\right )^{4}}-\frac {2867 \left (3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}\right )^{\frac {7}{2}}}{150000 \left (x +\frac {3}{2}\right )^{3}}-\frac {87373 \left (3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}\right )^{\frac {7}{2}}}{3000000 \left (x +\frac {3}{2}\right )^{2}}+\frac {27307 \left (5+6 x \right ) \left (3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}\right )^{\frac {5}{2}}}{1250000}-\frac {1363 \left (5+6 x \right ) \left (3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}\right )^{\frac {3}{2}}}{600000}-\frac {27307 \left (3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}\right )^{\frac {7}{2}}}{625000 \left (x +\frac {3}{2}\right )}+\frac {47 \left (5+6 x \right ) \sqrt {3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}}}{160000}+\frac {47 \sqrt {5}\, \arctanh \left (\frac {2 \left (-\frac {7}{2}-4 x \right ) \sqrt {5}}{5 \sqrt {12 \left (x +\frac {3}{2}\right )^{2}-16 x -19}}\right )}{1280000}-\frac {47 \left (3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}\right )^{\frac {3}{2}}}{2400000}-\frac {47 \left (3 \left (x +\frac {3}{2}\right )^{2}-4 x -\frac {19}{4}\right )^{\frac {5}{2}}}{5000000}\) | \(290\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 367 vs.
\(2 (128) = 256\).
time = 0.49, size = 367, normalized size = 2.38 \begin {gather*} \frac {87373}{1000000} \, {\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac {5}{2}} - \frac {13 \, {\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac {7}{2}}}{35 \, {\left (128 \, x^{7} + 1344 \, x^{6} + 6048 \, x^{5} + 15120 \, x^{4} + 22680 \, x^{3} + 20412 \, x^{2} + 10206 \, x + 2187\right )}} - \frac {47 \, {\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac {7}{2}}}{150 \, {\left (64 \, x^{6} + 576 \, x^{5} + 2160 \, x^{4} + 4320 \, x^{3} + 4860 \, x^{2} + 2916 \, x + 729\right )}} - \frac {94 \, {\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac {7}{2}}}{375 \, {\left (32 \, x^{5} + 240 \, x^{4} + 720 \, x^{3} + 1080 \, x^{2} + 810 \, x + 243\right )}} - \frac {987 \, {\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac {7}{2}}}{5000 \, {\left (16 \, x^{4} + 96 \, x^{3} + 216 \, x^{2} + 216 \, x + 81\right )}} - \frac {2867 \, {\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac {7}{2}}}{18750 \, {\left (8 \, x^{3} + 36 \, x^{2} + 54 \, x + 27\right )}} - \frac {87373 \, {\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac {7}{2}}}{750000 \, {\left (4 \, x^{2} + 12 \, x + 9\right )}} - \frac {1363}{100000} \, {\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac {3}{2}} x - \frac {27307}{2400000} \, {\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac {3}{2}} - \frac {27307 \, {\left (3 \, x^{2} + 5 \, x + 2\right )}^{\frac {5}{2}}}{250000 \, {\left (2 \, x + 3\right )}} + \frac {141}{80000} \, \sqrt {3 \, x^{2} + 5 \, x + 2} x + \frac {47}{1280000} \, \sqrt {5} \log \left (\frac {\sqrt {5} \sqrt {3 \, x^{2} + 5 \, x + 2}}{{\left | 2 \, x + 3 \right |}} + \frac {5}{2 \, {\left | 2 \, x + 3 \right |}} - 2\right ) + \frac {893}{640000} \, \sqrt {3 \, x^{2} + 5 \, x + 2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 3.31, size = 171, normalized size = 1.11 \begin {gather*} \frac {987 \, \sqrt {5} {\left (128 \, x^{7} + 1344 \, x^{6} + 6048 \, x^{5} + 15120 \, x^{4} + 22680 \, x^{3} + 20412 \, x^{2} + 10206 \, x + 2187\right )} \log \left (-\frac {4 \, \sqrt {5} \sqrt {3 \, x^{2} + 5 \, x + 2} {\left (8 \, x + 7\right )} - 124 \, x^{2} - 212 \, x - 89}{4 \, x^{2} + 12 \, x + 9}\right ) + 20 \, {\left (1089792 \, x^{6} + 22620128 \, x^{5} + 81951440 \, x^{4} + 127557120 \, x^{3} + 100711840 \, x^{2} + 39981058 \, x + 6404247\right )} \sqrt {3 \, x^{2} + 5 \, x + 2}}{53760000 \, {\left (128 \, x^{7} + 1344 \, x^{6} + 6048 \, x^{5} + 15120 \, x^{4} + 22680 \, x^{3} + 20412 \, x^{2} + 10206 \, x + 2187\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} - \int \left (- \frac {20 \sqrt {3 x^{2} + 5 x + 2}}{256 x^{8} + 3072 x^{7} + 16128 x^{6} + 48384 x^{5} + 90720 x^{4} + 108864 x^{3} + 81648 x^{2} + 34992 x + 6561}\right )\, dx - \int \left (- \frac {96 x \sqrt {3 x^{2} + 5 x + 2}}{256 x^{8} + 3072 x^{7} + 16128 x^{6} + 48384 x^{5} + 90720 x^{4} + 108864 x^{3} + 81648 x^{2} + 34992 x + 6561}\right )\, dx - \int \left (- \frac {165 x^{2} \sqrt {3 x^{2} + 5 x + 2}}{256 x^{8} + 3072 x^{7} + 16128 x^{6} + 48384 x^{5} + 90720 x^{4} + 108864 x^{3} + 81648 x^{2} + 34992 x + 6561}\right )\, dx - \int \left (- \frac {113 x^{3} \sqrt {3 x^{2} + 5 x + 2}}{256 x^{8} + 3072 x^{7} + 16128 x^{6} + 48384 x^{5} + 90720 x^{4} + 108864 x^{3} + 81648 x^{2} + 34992 x + 6561}\right )\, dx - \int \left (- \frac {15 x^{4} \sqrt {3 x^{2} + 5 x + 2}}{256 x^{8} + 3072 x^{7} + 16128 x^{6} + 48384 x^{5} + 90720 x^{4} + 108864 x^{3} + 81648 x^{2} + 34992 x + 6561}\right )\, dx - \int \frac {9 x^{5} \sqrt {3 x^{2} + 5 x + 2}}{256 x^{8} + 3072 x^{7} + 16128 x^{6} + 48384 x^{5} + 90720 x^{4} + 108864 x^{3} + 81648 x^{2} + 34992 x + 6561}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 461 vs.
\(2 (128) = 256\).
time = 1.58, size = 461, normalized size = 2.99 \begin {gather*} -\frac {47}{1280000} \, \sqrt {5} \log \left (\frac {{\left | -4 \, \sqrt {3} x - 2 \, \sqrt {5} - 6 \, \sqrt {3} + 4 \, \sqrt {3 \, x^{2} + 5 \, x + 2} \right |}}{{\left | -4 \, \sqrt {3} x + 2 \, \sqrt {5} - 6 \, \sqrt {3} + 4 \, \sqrt {3 \, x^{2} + 5 \, x + 2} \right |}}\right ) - \frac {72512832 \, {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{13} + 651952224 \, \sqrt {3} {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{12} + 6898276448 \, {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{11} + 8494566864 \, \sqrt {3} {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{10} - 58878767920 \, {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{9} - 326450774496 \, \sqrt {3} {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{8} - 2207907445056 \, {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{7} - 3147944405424 \, \sqrt {3} {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{6} - 9314774279636 \, {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{5} - 6492162811470 \, \sqrt {3} {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{4} - 9472821206534 \, {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{3} - 3070624865553 \, \sqrt {3} {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{2} - 1792565462541 \, \sqrt {3} x - 158637115728 \, \sqrt {3} + 1792565462541 \, \sqrt {3 \, x^{2} + 5 \, x + 2}}{2688000 \, {\left (2 \, {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )}^{2} + 6 \, \sqrt {3} {\left (\sqrt {3} x - \sqrt {3 \, x^{2} + 5 \, x + 2}\right )} + 11\right )}^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} -\int \frac {\left (x-5\right )\,{\left (3\,x^2+5\,x+2\right )}^{5/2}}{{\left (2\,x+3\right )}^8} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________